AGM Revision of Beliefs about Action and Time

نویسندگان

  • Marc van Zee
  • Dragan Doder
  • Mehdi Dastani
  • Leon van der Torre
چکیده

The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a logic for revision of temporal belief bases, containing expressions about temporal propositions (tomorrow it will rain), possibility (it may rain tomorrow), actions (the robot enters the room) and preand post-conditions of these actions. We prove the Katsuno-Mendelzon and the Darwiche-Pearl representation theorems by restricting the logic to formulas representing beliefs up to certain time. We illustrate our belief change model through several examples.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Yet More Modal Logics of Preference Change and Belief Revision

We contrast Bonanno’s ‘Belief Revision in a Temporal Framework’ [15] with preference change and belief revision from the perspective of dynamic epistemic logic (DEL). For that, we extend the logic of communication and change of [11] with relational substitutions [8] for preference change, and show that this does not alter its properties. Next we move to a more constrained context where belief a...

متن کامل

Private Expansion and Revision in Multi-agent Settings

AGM belief change aims at modeling the evolution of an agent’s beliefs about its environment. In many applications though, a set of agents sharing the same environment must be considered. For such scenarios, beliefs about other agents’ beliefs must be taken into account. In this work, we study private expansion and revision operators in such a multi-agent setting. More precisely, we investigate...

متن کامل

Private Revision in a Multi-Agent Setting

AGM belief change aims at modeling the evolution of an agent’s beliefs about her environment. In many applications though, a set of agents sharing the same environment must be considered. For such scenarios, beliefs about other agents’ beliefs must be taken into account. In this work, we study the private revision issue in a multi-agent setting represented by a KD45n model. More precisely, we i...

متن کامل

A Semantic-Modal View on Ramsey’s Test

We present a semantic analysis of the Ramsey test, pointing out its deep underlying flaw: the tension between the “static” nature of AGM revision (which was originally tailored for revision of only purely ontic beliefs, and can be applied to higher-order beliefs only if given a “backwards-looking” interpretation) and the fact that, semantically speaking, any Ramsey conditional must be a modal o...

متن کامل

Resource-Bounded Belief Revision and Contraction

Agents need to be able to change their beliefs; in particular, they should be able to contract or remove a certain belief in order to restore consistency to their set of beliefs, and revise their beliefs by incorporating a new belief which may be inconsistent with their previous beliefs. An influential theory of belief change proposed by Alchourron, Gärdenfors and Makinson (AGM) [1] describes p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015